int do_kill(char* notUsed)
{
	int i;
	printf("Process P%d is dying... ", runningProc->pid);
	
	for (i = 0; i < NUM_FILE_DESC; i++)
		close_file(i);
		
	put_inode(runningProc->cwd);
	
	if (runningProc->child != 0)
		runningProc->child->ppid = 0;
		
	runningProc->status = PROC_FREE;
	
	printf("process has been killed\n\n");
	
	/* Shutdown the system */
	if (runningProc->pid == 0)
		close_program(notUsed);
	else
		runningProc = runningProc->next;
	
	return 1;
}
